$\forall$$r$:rationals. $\exists$$p$:$\mathbb{Z}$. $\exists$$q$:int\_nzero. (($\neg$($q$ = 0 $\in$ rationals)) c$\wedge$ ($r$ = qdiv($p$; $q$)))